1. Compiler Construction
پدیدآورنده: / Jens Knoop
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع: COMPUTER SCIENCE, SOFTWARE ENGINEERING
رده :
E-BOOK
2. Leveraging Applications of Formal Methods, Verification, and Validation
پدیدآورنده: / hnle, Jens Knoop, Tiziana Margaria, Dietmar Schreiner, Bernhard SteffenعReiner H
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع: MINERAL PROCESSING|ROBOTICS&COMPUTER SCIENCE, ARTIFICIAL INTELLIGENCE|COMPUTER SCIENCE, INFORMATION TECHNOLOGY|COMPUTER SCIENCE, SOFTWARE ENGINEERING|MINING
رده :
E-BOOK
3. Optimal Interprocedural program Optimization: A New Framework and Its Application
پدیدآورنده: / Jens Knoop
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (اردبیل)
موضوع: Mathematical Optimization.,Programming (MAthematics)
رده :
QA402
.
K6M2
4. Optimal interprocedural program optimization : a new framwork and its application
پدیدآورنده: Knoop, Jens
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: ، Computer programming,، Computer algorithms,، Compilers )Computer programs(
رده :
QA
76
.
L28
Vol
.
1428
